721. Les reseaux d'entreprise reseaux locaux et bureautiqe
پدیدآورنده : / par Guy Pujolle
کتابخانه: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع : Programming languages(Electronic computers) - - Business
رده :
HF
5548
.
P9
722. Logic, language, and computation
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
723. Logic, language, and computation :
پدیدآورنده : Nick Bezhanishvili [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
724. Logic, language, and computation
پدیدآورنده : / Balder D. ten Cate, Henk W. Zeevat (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses
رده :
QA
,
76
.
9
,.
L63
,
I565
,
2005
725. Logic, language, and computation
پدیدآورنده : \ [edited by] Martin Aher...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
726. Logic of Domains
پدیدآورنده : Zhang, Guo-Qiang, 0691-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
727. Logic of domains
پدیدآورنده : Zhang, Guo-Qiang
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
728. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده : Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
729. Logic programming :
پدیدآورنده : James H. Andrews
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming,Programming languages (Electronic computers)-- Semantics,Proof theory
730. Logic programming: : Prolog and stream parallel languages
پدیدآورنده : Newmarch, Jan
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
1990
731. Logic programming : Prolog and stream parallel languages
پدیدآورنده : Newmarch, Jan.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
1990
732. Logic programming: prolog and stream parallel languages
پدیدآورنده : Newmarch, Jan Dennis
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
733. Logics of specification languages
پدیدآورنده : Dines Bjrner, Martin C. Henson, editors
کتابخانه: (سمنان)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
734. Logics of specification languages
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
735. Logics of specification languages
پدیدآورنده : Dines Bjrner, Martin C. Henson, editors
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L63
736. MATLAB Recipes
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software. ; Mathematics. ; Programming languages (Electronic computers). ; Professional Computing. ;
737. MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia
پدیدآورنده : A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Data processing -- Congresses ، Reasoning
رده :
QA
76
.
7
.
A285
2005
738. Machine Learning Using R
پدیدآورنده : / by Karthik Ramasubramanian, Abhishek Singh
کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع : Computer science,Computer programming,Programming languages (Electronic computers),Database management
رده :
QA
75
.
5
.
R3
2017
739. Machine language for the Commodore 64, 128, and other Commodore computers /
پدیدآورنده : Jim Butterfield.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Commodore 128 (Computer)-- Programming.,Commodore 64 (Computer)-- Programming.,Commodore computers-- Programming.,Programming languages (Electronic computers)
740. Machine learning using R :
پدیدآورنده : / Karthik Ramasubramanian, Abhishek Singh,Ramasubramanian
کتابخانه: المكتبة المركزية لجامعة الطب في أصفهان (أصبهان)
موضوع : Machine learning,Data mining,R (Computer program language),Computer science,Computer programming,Programming languages (Electronic computers)
رده :
QA76
.
9
.
R3
2017
